Visits of International Scientists

Claudio Sacerdoti Coen (associate professor at the University of Bologna) has been visiting three times a week during 2014. During his stays he collaborated with Enrico Tassi and Dale Miller (team Parsifal) on the design and implementation of a $\lambda$-Prolog-inspired programming language well suited to express type-inference algorithms and their extensions.

Fabian Immler (PhD candidate, TUM, Munich, Germany) is working on the formal certification of properties of differential systems, using the Isabelle proof assistant. He visited us for three days in December.